TSTP Solution File: SET670^3 by SRASS---0.1